Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
951	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Proof theory Predicate logic Type theory First-order logic Sequent Isabelle Higher-order logic Logical framework Logic Mathematical logic Mathematics
952	On the order fill rate in a multi-item, base-stock inventory Add to Reading List Source URL: www.bm.ust.hk Language: English - Date: 2007-11-20 04:00:00 Autoregressive conditional heteroskedasticity Econometrics Computational statistics Monte Carlo methods Estimation theory Markov chain Statistics Markov models Time series analysis
953	Tabling for Transaction Logic ∗ Paul Fodor Michael Kifer State University of New York at Stony Brook,Stony Brook, NY 11794, USA Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-05-12 21:44:02 Model theory Transaction logic B-Prolog Prolog First-order logic Datalog Interpretation Function Modal logic Logic Mathematical logic Mathematics
954	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Model theory Logical syntax Formal languages Metalogic Well-formed formula Logical connective FO First-order logic Propositional formula Logic Mathematical logic Mathematics
955	On derivation of stagewise second-order backpropagation by invariant imbedding for multi-stage neural-network learning Eiji Mizutani and Stuart Dreyfus Abstract— We present a simple, intuitive argument based on “inva Add to Reading List Source URL: www.ieor.berkeley.edu Language: English - Date: 2008-07-16 21:59:53 Statistics Statistical theory Matrices Science Fisher information Rotation matrix Dimensional analysis Measurement Estimation theory
956	Bayesian inference for a partial order from random linear extensions Ometse S. Mogapi1, Tom A.B. Snijders2 Geoff K. Nicholls2 , Bernard W. Silverman2 , David Johnson2 and Nicholas E. Karn3 University of 1Botswana, 2Oxfor Add to Reading List Source URL: www.stats.ox.ac.uk Language: English - Date: 2010-06-07 11:56:14 Statistical models Bayesian inference Statistical forecasting Statistical inference Statistical theory Bishop Bayesian network Statistics Bayesian statistics Christianity
957	Firm growth type and capital structure persistence Xueping Wu* and Chau Kin Au Yeung August 2012 Forthcoming in Journal of Banking and Finance Add to Reading List Source URL: personal.cityu.edu.hk Language: English - Date: 2012-08-24 03:10:57 Capital structure Finance Capital market imperfections Pecking order theory Financial innovation Economics Corporate finance Financial economics
958	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-03-11 16:56:14 Recursion Theoretical computer science Category theory Functional programming Higher-order functions Corecursion Fold Coinduction Map Software engineering Computer programming Declarative programming
959	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic
960	Extracted from: Good Math A Geek’s Guide to the Beauty of Numbers, Logic, and Computation Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2013-08-07 09:11:47 Predicate logic Set theory Model theory Semantics Predicate First-order logic S Naive set theory Infinity Mathematical logic Logic Mathematics

UPDATE